University of Birmingham - PDFSEARCH.IO - Document Search Engine

University of Birmingham
Results: 2922

#	Item
891	El Quiosc is a website aimed at press resources with special focus on databases supported by The UAB Library Service. It also includes a press directory which encompasses over 1,300 worldwide publications. It also provid Add to Reading List Source URL: ddd.uab.cat Language: English - Date: 2013-06-28 09:09:00 Newspaper Publishing Association of Public and Land-Grant Universities University of Alabama at Birmingham
892	The intrinsic topology of a universe in intuitionistic type theory Mart´ın Escard´ o University of Birmingham, UK 8th DCM (in CiE), June 2012, Cambridge, UK Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2012-06-17 04:04:56 Sheaf theory Topos Constructivism Continuous function Topological space Category of topological spaces Set theory Universe Intuitionistic type theory Topology Mathematics General topology
893	Infinite sets that satisfy the principle of omniscience in all varieties of constructive mathematics Mart´ın Escard´ o University of Birmingham, UK Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2011-10-10 03:10:32 Computability theory Function Primitive recursive function Principia Mathematica Knaster–Tarski theorem Mathematics Functions and mappings Mathematical logic
894	Halloween 2014 UW–Madison Division of University Housing We receive many questions about Halloween and the impact of the Halloween activities on State Street on our residence hall students. We take additional security Add to Reading List Source URL: www.housing.wisc.edu Language: English - Date: 2015-01-15 13:20:56 University of Wisconsin–Milwaukee Resident assistant Halloween State Street Madison Wisconsin University of Birmingham Dormitory Slasher films Films Halloween II
895	Chronology of principal events and activities • 1 August 1994: The University of Birmingham, Imperial College, London and the London School of Economics joined CURL. • 9 SeptemberEdinburgh): Meeting between th Add to Reading List Source URL: www.rluk.ac.uk Language: English - Date: 2015-03-13 10:33:58 Curl Research Libraries Group Library Software Computing Joint Information Systems Committee
896	The intrinsic topology of a univalent universe Mart´ın Escard´ o University of Birmingham, UK 4FTW, June 2012, Ljubljana, Slovenia Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2012-06-19 08:18:06 Category of topological spaces Trivial topology Topos Continuous function Grothendieck topology Discrete space Homotopy Topology General topology Topological space
897	James B. McClintock Biosketch James B. McClintock is the Endowed University Professor of Polar and Marine Biology at the University of Alabama at Birmingham. He received his Bachelor of Science degree from the Universi Add to Reading List Source URL: www.mtsu.edu Language: English - Date: 2015-03-03 10:07:13 Effects of global warming Biological oceanography Chemical oceanography Geochemistry Ocean acidification University of Alabama at Birmingham Antarctica Physical geography Earth Oceanography
898	Sequential Games and Optimal Strategies ´ and Paulo Oliva By Mart´ın Escardo University of Birmingham, Birmingham B15 2TT, UK Queen Mary University of London, London E1 4NS, UK This article gives an overview of recent Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2010-10-28 12:00:26 Quantification Functions and mappings Predicate logic Function Universal quantification Continuous function Constructible universe FO Nash equilibrium Mathematics Logic Mathematical analysis
899	Intersections of compactly many open sets are open Mart´ın Escard´o University of Birmingham, UK May 27, 2009 Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2009-05-28 06:38:29 Filter Hausdorff space Product topology Continuous function Uniform space Open and closed maps Sierpiński space Compact space Metric space Topology General topology Exponential object
900	Workshop position paper FINAL SUBMISSION Add to Reading List Source URL: quantifiedself.com Language: English - Date: 2014-11-17 16:37:06 Withings Ubiquitous computing Ambient intelligence Fitbit University of Birmingham E-learning Education Association of Commonwealth Universities Distance education

UPDATE